CoO@MnFe2O4 Octahedron-Shaped Nanocages

The Octahedron Abstract Domain

An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis. The contribution of this paper is a new numerical...

Octahedron Environment Maps

In this paper, we examine the octahedron as a parameterization scheme to represent environment maps in real-time rendering applications. We discuss two projection schemes and show two convenient unfold mappings to pack the platonic solid into quadratic or rectangular textures. We carry out an analysis and consider rendering performance for interactive applications as well as the quality of repr...

Arrays and the Octahedron Recurrence

The 4-Octahedron Abstract Domain

In the code static analysis, the choice of an adequate abstract domain is an interesting issue. In this paper, we provide a new numerical abstract domain: 4-Octahedron. It is an Octahedra subclass that infers relations of the form : { x ∼ α, x−y ∼ β, (x−y)−(z−t) ∼ λ}, such that: x, y, z and t are real variables, α, β and λ are real constants and ∼ ∈ {≤,≥}. The 4-Octahedron extends the conjuncti...

The Octahedron Recurrence and Rsk-correspondence

Wemake the statement rigorous that the Robinson–Schensted–Knuth correspondence is a tropicalization of the Dodgson condensation rule.